1. Hybrid Logic and its Proof-Theory
Author: / by Torben Braeuner
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Proof theory,Logic, Symbolic and mathematical
Classification :
QA9
,.
54
.
B73
2011
2. Hybrid logic and its proof-theory
Author: / by Torben Braeuner
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Proof theory.,Logic, Symbolic and mathematical.
Classification :
QA
,
9
.
54
,.
B736
,
2011
